An axiomatic system on which most of modern mathematics is based. When the axiom of choice is included, it is abbreviated ZFC.
Much like me and your mom, zermelo-fraenckel set theory's signature has a primitive binary relation.
by Parsimonous April 4, 2020